Psychological metatheory
نویسندگان
چکیده
منابع مشابه
Mentalistic Metatheory and Methodology
For need a term, and want of a better term, I have labeled this metatheory “mentalism” to suggest a focus on that aspect of mental activity given to us in any waking moment—consciousness. Mentalism proposes an analysis of mental episodes that can reveal lawfulness among those conscious states. Consciousness may symbolically represent a present out there in perception, a past in forms of remembr...
متن کاملMeaning and Metatheory
Semantic theory has been used for many different philosophical purposes, This thesis investigates two such uses of semantic theory. The first is the use of semantic theory in providing a justification for a formal theory. The second is the use of semantic theory in yielding an account of understanding. The first paper is "Truth and Metatheory in Frege", In this paper, it is contended, against m...
متن کاملMechanized metatheory revisited
Proof assistants and the programming languages that implement them need to deal with a range of linguistic expressions that involve bindings. Since most mature proof assistants do not have built-in methods to treat this aspect of syntax, they have been extended with various packages and libraries that allow them to encode such syntax using, for example, de Bruijn numerals and nominal logic feat...
متن کاملMechanized metatheory revisited (abstract)
Over a decade ago, the POPLmark challenge [2] suggested that the theorem proving community had tools that were close to being usable by programming language researchers to formally prove properties of their designs and implementations. The authors of the POPLmark challenge looked at existing practices and systems and urged the developers of proof assistants to make improvements to existing syst...
متن کاملToward a Metatheory of Action
We present a formalization of the blocks world on the basis of the situation calculus and circumscription, and investigate its mathematical properties. The main theorem describes the eeect of the circumscription which solves the frame problem in the presence of ramiications. The theorem is quite general, in the sense that it is applicable not only to the blocks world, but to a whole class of do...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psyke and Logos
سال: 2022
ISSN: ['0107-1211']
DOI: https://doi.org/10.7146/pl.v13i2.134194